A functional representation of capacity monad
نویسندگان
چکیده
منابع مشابه
A Functional Representation of the Hyperspace Monad
A functional representation of the hyperspace monad, based on the semilattice structure of function space, is constructed.
متن کاملFunctional Pearl: The Monad Zipper
Limitations of monad stacks get in the way of developing highly modular programs with effects. This pearl demonstrates that Functional Programming’s abstraction tools are up to the challenge. Of course, abstraction must be followed by clever instantiation: Huet’s zipper for the monad stack makes components jump through unanticipated hoops.
متن کاملApproximate Maps, Filter Monad, and a Representation of Localic Maps
A covariant representation of the category of locales by approximate maps (mimicking a natural representation of continuous maps between spaces in which one approximates points by small open sets) is constructed. It is shown that it can be given a Kleisli shape, as a part of a more general Kleisli representation of meet preserving maps. Also, we present the spectrum adjunction in this approxima...
متن کامل1. Monad Comprehensions: A Versatile Representation for Queries
This chapter is an exploration of the possibilities that open up if we consistently adopt a style of database query and collection processing which allows us to look inside collections and thus enables us to play with atomic constructors instead of the monolithic collection values they build. This comprehension of values goes well together with a completely functional style of query formulation...
متن کاملFunctional Pearl: the Proof Search Monad
We present the proof search monad, a set of combinators that allows one to write a proof search engine in a style that resembles the formal rules closely. The user calls functions such as premise, prove or choice; the library then takes care of generating a derivation tree. Proof search engines written in this style enjoy: first, a one-to-one correspondence between the implementation and the de...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Topology
سال: 2009
ISSN: 0040-9383
DOI: 10.1016/j.top.2009.11.007